The following article aims to present the debate around the question "Que peut la littérature?" between the partisans of commited litterature like Sartre, on the one side, and some defenders of Nouevau Roman like Ricardou, on the other. Some of the major arguments of the debate will be outlined in order to show that it essentially ends up being a conversation between Ricardou and Sartre, with the intent to sort out what issues are really at stake. Also the question will (...) be elucaded why Sartre felt the need to return to some of his earliest arguments when he had evolved on so many points. (shrink)

Colleges of agriculture are being forced to adapt to a changing world. The forces behind these changes affect all departments within the college. In this paper, the place of agricultural economics within the college and within the university is identified, the current situation facing the discipline is outlined, and strategies for responding to the forces of change are discussed. Three alternatives are available: continuation, termination, and metamorphosis. Different departments are likely to pursue different strategies. Some may disappear altogether or may (...) be absorbed into the parent discipline, economics, or into the business school. Other departments may transform themselves into specialized sub-disciplines, such as natural resources or agribusiness departments. Still others may continue with little or no change. Whatever course is followed, strategic planning will surely be necessary. (shrink)

Sartre's thoughts on the eighteenth century are ambiguous and schematic at best but they do contain an interesting analysis of materialism that continues from this period through to the early 1940s. Even though Sartre refers to the eighteenth-century as a paradise soon-to-be lost, it is argued here that his condemnation of atomistic materialism as it was conceived during this period is directly linked to his rejection of the dialectical materialism of the Communist Party and bourgeois ideology. This article examines the (...) relationship between these different modes of thought and seeks to demonstrate how Sartre's take on the eighteenth century provided a stern warning to the communists about the pitfalls associated with basing a revolution on materialist doctrine. (shrink)

Debates over the causes and consequences of the “Axial Age” – and its relevance for understanding and explaining “modernity” – continue to rage within and across a wide variety of academic disciplines, including anthropology, sociology, archaeology, history, social theory, and cognitive science. We present a computational model that synthesizes three leading theories about the emergence of axial civilizations. Although these theories are often treated as competitors, our computational model shows how their most important conceptual insights and empirically based causal claims (...) can be integrated within a single computational architecture. The plausibility of the latter is supported by the results of our simulation experiments, which were able to simulate the emergence and growth of an axial civilization. The model shows how the relevant theories can be rendered consistent, while challenging the claims of any one to comprehensiveness. (shrink)

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is the (...) Moore sentence unsuccessful, it is self-refuting, for it never remains true as described. We show that in logics of knowledge and belief for a single agent (extended by S5), Moorean phenomena are the source of all self-refutation; moreover, in logics for an introspective agent (extending KD45), Moorean phenomena are the source of all unsuccessfulness as well. This is a distinctive feature of such logics, for with a non-introspective agent or multiple agents, non-Moorean unsuccessful formulas appear. We also consider how successful and self-refuting formulas relate to the Cartesian and learnable formulas, which have been discussed in connection with Fitch’s “paradox of knowability.” We show that the Cartesian formulas are exactly the formulas that are not eventually self-refuting and that not all learnable formulas are successful. In an appendix, we give syntactic characterizations of the successful and the self-refuting formulas. (shrink)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...) semantics avoid the entailment problems that result from Kratzer’s semantics. Our discussion focuses on methodological issues concerning the choice between different semantics. (shrink)

Written in 1839 and chosen as the winning entry in a competition held by the Royal Norwegian Society of Sciences, Schopenhauer's Prize Essay on the Freedom of the Will marked the beginning of its author's public recognition and is widely regarded as one of the most brilliant and elegant treatments of free will and determinism. Schopenhauer distinguishes the freedom of acting from the freedom of willing, affirming the former while denying the latter. He portrays human action as thoroughly determined but (...) also argues that the freedom which cannot be established in the sphere of human action is preserved at the level of our innermost being as individuated will, whose reality transcends all dependency on outside factors. This volume offers the text in a previously unpublished translation by Eric F. J. Payne, the leading twentieth-century translator of Schopenhauer into English, together with a historical and philosophical introduction by Günter Zöller. (shrink)

Public policies are designed to have an impact on particular societies, yet policy-oriented computer models and simulations often focus more on articulating the policies to be applied than on realistically rendering the cultural dynamics of the target society. This approach can lead to policy assessments that ignore crucial social contextual factors. For example, by leaving out distinctive moral and normative dimensions of cultural contexts in artificial societies, estimations of downstream policy effectiveness fail to account for dynamics that are fundamental in (...) human life and central to many public policy challenges. In this paper, we supply evidence that incorporating morally salient dimensions of a culture is critically important for producing relevant and accurate evaluations of social policy when using multi-agent artificial intelligence models and simulations. (shrink)

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...) First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

The Kyoto Protocol on global warming has provoked great controversy in part because it calls for heavier burdens on wealthy countries than on developing countries in the effort to control climate change. The U.S. Senate voted unanimously to oppose any agreement that does not require emissions reductions in low-income countries. The ethics of this position are examined in this paper which shows that there are good moral reasons for supporting the provisions of the Kyoto Protocol. Such a conclusion follows easily (...) from considerations of distributive justice but can also be supported by more narrowly self-interested arguments. (shrink)

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence, in terms of relatively simple invariants. Where this is impossible, it is useful to have concrete results saying so. In model theory and descriptive set theory, there is a large body of work showing that certain classes of mathematical structures admit classification while others do not. In the present paper, we (...) describe some recent work on classification in computable structure theory.Section 1 gives some background from model theory and descriptive set theory. From model theory, we give sample structure and non-structure theorems for classes that include structures of arbitrary cardinality. We also describe the notion of Scott rank, which is useful in the more restricted setting of countable structures. From descriptive set theory, we describe the basic Polish space of structures for a fixed countable language with fixed countable universe. We give sample structure and non-structure theorems based on the complexity of the isomorphism relation, and on Borel embeddings.Section 2 gives some background on computable structures. We describe three approaches to classification for these structures. The approaches are all equivalent. However, one approach, which involves calculating the complexity of the isomorphism relation, has turned out to be more productive than the others. Section 3 describes results on the isomorphism relation for a number of mathematically interesting classes—various kinds of groups and fields. In Section 4, we consider a setting similar to that in descriptive set theory. We describe an effective analogue of Borel embedding which allows us to make distinctions even among classes of finite structures. Section 5 gives results on computable structures of high Scott rank. Some of these results make use of computable embeddings. Finally, in Section 6, we mention some open problems and possible directions for future work. (shrink)

Makkai [10] produced an arithmetical structure of Scott rank $\omega _{1}^{\mathit{CK}}$. In [9]. Makkai's example is made computable. Here we show that there are computable trees of Scott rank $\omega _{1}^{\mathit{CK}}$. We introduce a notion of "rank homogeneity". In rank homogeneous trees, orbits of tuples can be understood relatively easily. By using these trees, we avoid the need to pass to the more complicated "group trees" of [10] and [9]. Using the same kind of trees, we obtain one of rank (...) $\omega _{1}^{\mathit{CK}}$ that is "strongly computably approximable". We also develop some technology that may yield further results of this kind. (shrink)

There has been much discussion of changing agricultural structure in the United States. In this paper, the author reviews some of the factors contributing to structural change in the United States and describes the policies adopted by the European Community with respect to agricultural structure. The European experience with structural policies suggests that this approach is not very promising for the United States where no specific structural policies exist. The argument developed in this paper is that structural changes in agriculture (...) are simply one example of economic adjustment in a capitalist economy, that economic adjustments are generally desirable although they are not costless, and that discussions of agricultural structure should focus on methods to alleviate the costs of adjustment rather than on efforts to prevent change. (shrink)

While much of semantic theorizing is based on intuitions about logical phenomena associated with linguistic constructions—phenomena such as consistency and entailment—it is rare to see axiomatic treatments of linguistic fragments. Given a fragment interpreted in some class of formally specified models, it is often possible to ask for a characterization of the reasoning patterns validated by the class of models. Axiomatizations provide such a characterization, often in a perspicuous and efficient manner. In this paper, we highlight some of the benefits (...) of providing axiomatizations for the purpose of semantic theorizing. We illustrate some of these benefits using three examples from the study of modality. (shrink)

Property rights are important institutions that influence economic performance and reflect the historical, cultural, and political realities of particular societies. Drawing on a variety of concepts from legal and economic studies, a framework for explaining the origin and evolution of property rights is developed and applied to the specific case of changing ground water rights in Nebraska. The Nebraska case is an interesting example of reliance on local control in regulating water use. Despite the importance of local initiatives in ground (...) water management, this case also illustrates the need for external support from the judicial and legislative systems. The evolution of ground water property rights in Nebraska, as in other parts of the United States, has been conditioned by historical circumstances and changing values and attitudes as well as by economic and political forces. (shrink)

The behavior of individuals currently living will generally have long-term consequences that affect the well-being of those who will come to live in the future. Intergenerational interdependencies of this nature raise difficult moral issues because only the current generation is in a position to decide on actions that will determine the nature of the world in which future generations will live. Although most are willing to attach some weight to the interests of future generations, many would argue that it is (...) not necessary to treat these interests as equivalent to those of the current generation. A common approach in this context is to use a system of discounting to evaluate future benefits and harms. This paper assesses the logic of discounting drawing on the writings of economists and philosophers. Much of the economic literature concerns the choice of an appropriate social discount rate. The social discount rate can be taken to reflect beliefs about the rights of future generations, a subject that has been extensively debated in the phioosophic literature. The writings of both economists and philosophers concerned with the weight to attach to the interests of future generations are reviewed and evaluated in this paper and the implications for environmental policy are discussed. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitu- tion core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with (...) infinitely many agents, PAL-Kω , as well as standard extensions thereof, e.g., PAL-Tω , PAL-S4ω, and PAL-S5ω. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

The Common Agricultural Policy (CAP) of the European Community (EC) has been criticized for causing a misallocation of resources, inequitable income transfers, and enormous budgetary costs. The purpose of this paper is to examine the political economy of agriculture and agricultural policy in the EC. The results of the analysis indicate that conflicts between national political objectives and broader, community-wide concerns are important factors in the performance of EC agriculture. The pressures for reform of the CAP will lead to modification (...) of the system, but changes in EC agricultural policy are likely to be moderate because of the inherent inertia of the policy-making process. As a result, the agricultural system in the EC will probably continue to evolve in an atmosphere of crisis with most reforms directed at symptoms rather than fundamental problems. (shrink)

We prove that the generalized cancellation axiom for incomplete comparative probability relations introduced by Rios Insua and Alon and Lehrer is stronger than the standard cancellation axiom for complete comparative probability relations introduced by Scott, relative to their other axioms for comparative probability in both the finite and infinite cases. This result has been suggested but not proved in the previous literature.

This paper studies connections between two alternatives to the standard probability calculus for representing and reasoning about uncertainty: imprecise probability andcomparative probability. The goal is to identify complete logics for reasoning about uncertainty in a comparative probabilistic language whose semantics is given in terms of imprecise probability. Comparative probability operators are interpreted as quantifying over a set of probability measures. Modal and dynamic operators are added for reasoning about epistemic possibility and updating sets of probability measures.

Examining relativistic quantum field theory we claim that its description of subnuclear phenomena can be understood most adequately from a semiotic point of view. The paper starts off with a concise and non-technical outline of the firmly based aspects of relativistic quantum field theories. The particular methods, by which these different aspects have to be accessed, can be described as distinct facets of quantum field theory. They differ with respect to the relation between quantum fields and associated particles, and, as (...) we shall argue, should be interpreted as complementary (semiotic) codes. Viewing physical theories as symbolic constructions already came to the fore in the middle of the nineteenth century with the emancipation of the classical theory of the electromagnetic field from mechanics; most notably, as we will point out, with the work of Helmholtz, Hertz, Poincaré, and later on Weyl. Since the epistemological questions posed there are heightened with regard to quantum field theory, we considerably widen their approach and relate it to recent discussions in the philosophy of science, like structural realism and quasi-autonomous domains. (shrink)

This uniquely inspirational and practical book explores human simulation, which is the application of computational modeling and simulation to research subjects in the humanities disciplines. It delves into the fascinating process of collaboration among experts who usually don’t have much to do with one another – computer engineers and humanities scholars – from the perspective of the humanities scholars. It also explains the process of developing models and simulations in these interdisciplinary teams. Each chapter takes the reader on a journey, (...) presenting a specific theory about the human condition, a model of that theory, discussion of its implementation, analysis of its results, and an account of the collaborative experience. Contributing authors with different fields of expertise share how each model was validated, discuss relevant datasets, explain development strategies, and frankly discuss the ups and downs of the process of collaborative development. Readers are given access to the models and will also gain new perspectives from the authors’ findings, experiences, and recommendations. Today we are in the early phases of an information revolution, combining access to vast computing resources, large amounts of human data through social media, and an unprecedented richness of methods and tools to capture, analyze, explore, and test hypotheses and theories of all kinds. Thus, this book’s insights will be valuable not only to students and scholars of humanities subjects, but also to the general reader and researchers from other disciplines who are intrigued by the expansion of the information revolution all the way into the humanities departments of modern universities. (shrink)

Decaying wood, while an abundant and stable resource, presents considerable nutritional challenges due to its structural rigidity, chemical recalcitrance, and low nitrogen content. Despite these challenges, certain insect lineages have successfully evolved saproxylophagy (consuming and deriving sustenance from decaying wood), impacting nutrient recycling in ecosystems and carbon sequestration dynamics. This study explores the uneven phylogenetic distribution of saproxylophagy across insects and delves into the evolutionary origins of this trait in disparate insect orders. Employing a comprehensive analysis of gut microbiome data, (...) from both saproxylophagous insects and their non‐saproxylophagous relatives, including new data from unexplored wood‐feeding insects, this Hypothesis paper discusses the broader phylogenetic context and potential adaptations necessary for this dietary specialization. The study proposes the “Detritivore‐First Hypothesis,” suggesting an evolutionary pathway to saproxylophagy through detritivory, and highlights the critical role of symbiotic gut microbiomes in the digestion of decaying wood. (shrink)

The social sciences and humanities are fragmented into specialized areas, each with their own parlance and procedures. This hinders information sharing and the growth of a coherent body of knowledge. Modeling and simulation can be the scientific lingua franca, or shared technical language, that can unite, integrate, and relate relevant parts of these diverse disciplines.Models are well established in the scientific community as mediators, contributors, and enablers of scientific knowledge. We propose a potentially revolutionary linkage between social sciences, humanities and (...) computer simulation, forging what we call “human simulation.” We explore three facets of human simulation, namely: the simulation of humans, the design of simulations for human use, and simulations that include humans as well as simulated agents among the actors. We describe the potential of human simulation using several illuminating examples. We also discuss computational, epistemological, and hermeneutical challenges constraining the use of human simulation. (shrink)

William Alston’s Theory of Appearing has attracted considerable attention in recent years, both for its elegant interpretation of direct realism in light of the presentational character of perceptual experience and for its central role in his defense of the justificatory force of Christian mystical experiences. There are different ways to account for presentational character, however, and in this article we argue that a superior interpretation of direct realism can be given by a theory of perception as dynamic engagement. The conditions (...) for dynamic engagement are such that there can be no absolute discontinuity between individual perceptual experiences and more public forms of inquiry, and this requirement has radical consequences for the prima facie justificatory force of religious experience. (shrink)

The article argues that mainstream value-sensitive approaches to design have been based on narrow understandings of personhood and social dynamics, which are biased toward Western Educated Industrialized Rich and Democratic cultures and contradicted by empirical evidence. To respond to this weakness, the article suggests that design may benefit from focusing on user behaviours from the joint perspective of values and norms, especially across cultural contexts. As such, it proposes Norm Sensitive Design as a complement to value-sensitive approaches when designing and (...) implementing new technologies. Versus values, norms serve as more accurate predictors or descriptors of behaviours and can thus support value-sensitive approaches to realize the aspiration of informing user behaviour via design. The article makes two key contributions. On the theoretical side, it promotes the consideration of norms in design. On the practical side, it offers designers and instructors prompts for reflecting on design ethics from the perspective of norms. (shrink)

Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standard modal logics, we can build a canonical possibility model, wherein every logically consistent formula is satisfied, by simply taking each individual (...) finite formula (modulo equivalence) to be a possibility, rather than each infinite maximally consistent set of formulas as in the usual canonical world models. Constructing these locally finite canonical models involves solving a problem in general modal logic of independent interest, related to the study of adjoint pairs of modal operators: for a given modal logic L, can we find for every formula φ a formula f(φ) such that for every formula ψ, φ → []ψ is provable in L if and only if f(φ) → ψ is provable in L? We answer this question for a number of standard modal logics, using model-theoretic arguments with world semantics. This second main result allows us to build for each logic a canonical possibility model out of the lattice of formulas related by provable implication in the logic. (shrink)

Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standard modal logics, we can build a canonical possibility model, wherein every logically consistent formula is satisfied, by simply taking each individual (...) finite formula (modulo equivalence) to be a possibility, rather than each infinite maximally consistent set of formulas as in the usual canonical world models. Constructing these locally finite canonical models involves solving a problem in general modal logic of independent interest, related to the study of adjoint pairs of modal operators: for a given modal logic L, can we find for every formula phi a formula f(phi) such that for every formula psi, phi -> BOX psi is provable in L if and only if f(phi) -> psi is provable in L? We answer this question for a number of standard modal logics, using model-theoretic arguments with world semantics. This second main result allows us to build for each logic a canonical possibility model out of the lattice of formulas related by provable implication in the logic. (shrink)

Es ist für Byzantinisten a priori nicht so einfach, das Interesse einer transdisziplinären oder gar breiteren Öffentlichkeit auf ihre Arbeiten zu lenken. Doch gelegentlich sorgen sie auch selbst dafür, dem Publikum den Zugang zu ihrem Anliegen zu erschweren, wie in diesem Fall: Beide Autoren, der Leipziger Mediävist und Byzantinist K.-P. Matschke (= M.), besonders bekannt als Sozial- und Wirtschaftshistoriker der Palaiologenzeit (= Pz.), und der Münchner Byzantinist F. Tinnefeld (= T.), seinerseits besonders vertraut mit der spätbyzantinischen Literatur, haben es leider (...) unterlassen, in einem Vorwort Auskunft zu geben, an wen sich ihr Buch richtet, warum sie es geschrieben und wie (bzw. weshalb) sie sich die Arbeit aufgeteilt haben. Auch in der Einleitung (d.i. Abschnitt 1), die auf S. 14 mit Danksagungen beschlossen wird, die in ein Vorwort gehörten, werden diese Fragen nicht explizit gestellt, sondern nur partiell und indirekt (für die zweite Frage) beantwortet. (shrink)

I explore a connection between Robert Nozick's account of decision value/symbolic utility in The Nature of Rationality and F. P. Ramsey's discussion of ethically neutral propositions in his 1926 essay , a discussion that Brian Skyrms in Choice and Chance credits with disclosing deeper foundations for expected utility than the celebrated Theory of Games and Economic Behavior of von Neumann and Morgenstern. Ramsey's recognition of ethically non-neutral propositions is essential to his foundational work, and the similarity of these propositions to (...) symbolic utility helps make the case that the latter belongs to the apparatus that constructs expected utility, rather than being reducible to it or being part of a proposal that can be cheerfully ignored. I conclude that decision value replaces expected utility as the central idea in (normative) decision theory. Expected utility becomes an approximation that is good enough when symbolic utility is not at stake. (shrink)

The main result of this paper is the following theorem: Let M be a premouse with a top extender, F. Suppose that (a) M is linearly coarsely iterable via hitting F and its images, and (b) if M * is a linear iterate of M as in (a), then M * is coarsely iterable with respect to iteration trees which do not use the top extender of M * and its images. Then M is coarsely iterable.

Nishida Kitarō is considered Japan's first and greatest modern philosopher. As founder of the Kyoto School, he began a rigorous philosophical engagement and dialogue with Western philosophical traditions, especially the work of G. W. F. Hegel. John W. M. Krummel explores the Buddhist roots of Nishida’s thought and places him in connection with Hegel and other philosophers of the Continental tradition. Krummel develops notions of self-awareness, will, being, place, the environment, religion, and politics in Nishida’s thought and shows how his (...) ethics of humility may best serve us in our complex world. (shrink)

I prove that there is a recursive function T that does the following: Let X be transitive and rudimentarily closed, and let X ′ be the closure of X ∪ {X } under rudimentary functions. Given a Σ0-formula φ and a code c for a rudimentary function f, T is a Σω-formula such that for any equation image ∈ X, X ′ ⊧ φ [f ] iff X ⊧ T [equation image]. I make this precise and show relativized versions of (...) this. As an application, I prove that under certain conditions, if Y is the Σω extender ultrapower of X with respect to some extender F that also is an extender on X ′, then the closure of Y ∪ {Y } under rudimentary functions is the Σ0 extender ultrapower of X′ with respect to F, and the ultrapower embeddings agree on X. (shrink)

Es ist für Byzantinisten a priori nicht so einfach, das Interesse einer transdisziplinären oder gar breiteren Öffentlichkeit auf ihre Arbeiten zu lenken. Doch gelegentlich sorgen sie auch selbst dafür, dem Publikum den Zugang zu ihrem Anliegen zu erschweren, wie in diesem Fall: Beide Autoren, der Leipziger Mediävist und Byzantinist K.-P. Matschke (= M.), besonders bekannt als Sozial- und Wirtschaftshistoriker der Palaiologenzeit (= Pz.), und der Münchner Byzantinist F. Tinnefeld (= T.), seinerseits besonders vertraut mit der spätbyzantinischen Literatur, haben es leider (...) unterlassen, in einem Vorwort Auskunft zu geben, an wen sich ihr Buch richtet, warum sie es geschrieben und wie (bzw. weshalb) sie sich die Arbeit aufgeteilt haben. Auch in der Einleitung (d.i. Abschnitt 1), die auf S. 14 mit Danksagungen beschlossen wird, die in ein Vorwort gehörten, werden diese Fragen nicht explizit gestellt, sondern nur partiell und indirekt (für die zweite Frage) beantwortet. (shrink)

We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, (...) Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations. (shrink)

Vorwort - O. Bayer: Johann Georg Hamann - Radikaler Aufklarer als Metakritiker - D. Berman: Hume and Collins: Two Ways of Lying Theologically - U. Dierse: Nachtrage zu G. F. Meiers Religionsphilosophie - K. Dusing: Schema und Einbildungskraft in Kants Kritik der reinen Vernunft - J. Ecole: Des rapports de l'essence et de l'existence selon Wolff - E. J. Engel: Mendelssohn und Spinoza: Dankesschuld und Rettung - N. Hinske: Die Kritik der reinen Vernunft und der Freiraum des Glaubens. Zur Kantrezeption (...) des Jenaer Fruhkantianismus - H.-U. Hoche: Anthropologische Komplementaritat und die Einheit der Sache. Versuch einer skeptischen Losung eines skeptischen Zweifels - M. Hossenfelder: Der Liberalismus als Naturrecht im Anschluss an Kant - L. Kreimendahl: Hume uber das Misslingen aller philosophischen Versuche in der Theodizee um 1748 - R. H. Popkin: Scepticism and Optimism in the Late 18th Century - H. Graf Reventlow: Vom Mittelalter zur Neuzeit. Bibel und Philosophie von Thomas von Aquin bis H. S. Reimarus - W. Schneiders: Vernunft und Verstand - Krisen eines Begriffspaares - W. Schroder: Aporien des theologischen Liberalismus. Johann Lorenz Schmidts Pladoyer fur 'eine allgemeine Religions- und Gewissensfreyheit' - R. Specht: Sind einfache Ideen einfach und gegeben? - I. Strohschneider-Kohrs: Anmerkungen zu Lessings Selbstdeutungs-Bildern - W. Strube: Der Begriff des Erhabenen in der deutschsprachigen Asthetik des 18. Jahrhunderts - Bibliographie Gunter Gawlick 1956-1993. Zusammengestellt von U. Golembek. (shrink)